TAGs: context free languages proof